属性集的闭包： 推出来的放到一起，之后看看能不能推出来别的。 X 在 f 上的闭包 X_f^+
函数依赖集的闭包： 所有在左面的组合推出右面的组合，这样的函数关系的集合。包括 A->空集 f 的闭包 f^+